A Distributed and Anonymous Knowledge Sharing Approach to Software Interoperation

The support for automatic interoperation of software components can reduce cost and provide greater functionality. This paper describes a novel approach to software interoperation based on speciication sharing. Software components, called agents, provide machine processable descriptions of their capabilities and needs. Agents can be realized in diierent programming languages, and they can run in diierent processes on diierent machines. In addition, agents can be dynamic { at run time agents can join the system or leave. The system uses the declarative agent speciications to automatically coordinate their interoperation. The architecture supports anonymous interoperation of agents, where each agent has the illusion that the capabilities of all the other agents are provided directly by the system. The distinctive feature of this approach is the expressiveness of the declarative speciication language, which enables sophisticated agent interoperation, e.g., decomposing complex requests into a collection of simpler requests, and translating between the interface of a requesting agent and the interface of an agent that can service the request. The agent-based interoperation scheme relies on a shared vocabulary, and it is our thesis that more eeective software interoperation is made possible by agreeing to a shared declarative vocabulary, than by agreeing to shared programming constructs (e.g., subroutine names and their argument types).